11

F-semantics for type assignment systems

Year:
1994
Language:
english
File:
PDF, 2.30 MB
english, 1994
16

A Rewriting System for Categorical Combinators with Multiple Arguments

Year:
1990
Language:
english
File:
PDF, 1.94 MB
english, 1990
27

Church-Rosser theorem for a rewriting system on categorial combinators

Year:
1989
Language:
english
File:
PDF, 1.66 MB
english, 1989